#include <stdio.h>

void printChar(int);

int main() {
    int c;
    int count = 0;
    while (c = getchar()) {
        if (c == '\n') {
            count = 0;
        }
        count++;
        if (count % 10 == 0) printf("\n");
        printChar(c);
    }

    return 0;
}

void printChar(const int c) {
    if (c == EOF) {
        printf("%11s:%03d", "EOF", c);
    } else if (c == '\000') {
        printf("%11s:%03d", "NULL", c);
    } else if (c > '\01' && c < '\040') {
        switch (c) {
            case '\007':
                printf("%10s:%03d", "\\a", c);
                break;
            case '\010':
                printf("%10s:%03d", "\\b", c);
                break;
            case '\011':
                printf("%10s:%03d", "\\t", c);
                break;
            case '\013':
                printf("%10s:%03d", "\\v", c);
                break;
            case '\014':
                printf("%10s:%03d", "\\f", c);
                break;
            case '\012':
                printf("%10s:%03d", "\\n", c);
                break;
            case '\015':
                printf("%10s:%03d", "\\r", c);
                break;
            default:
                printf("%9s%c:%03d", "CTRL+", c + 64, c);
                break;
        }
    } else if (c == ' ') {
        printf("%11s:%03d", "空格", c);
    } else {
        printf("%10s%c:%03d", "字符", c, c);
    }
}